System Description: H-PILoT
نویسندگان
چکیده
This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of logical theories with functions axiomatized by a set of clauses. H-PILoT reduces deduction problems in the theory extension to deduction problems in the base theory. Specialized provers and standard SMT solvers can be used for testing the satisfiability of the formulae obtained after the reduction. For local theory extensions this hierarchical reduction is sound and complete and – if the formulae obtained this way belong to a fragment decidable in the base theory – H-PILoT provides a decision procedure for testing satisfiability of ground formulae, and can also be used for model generation.
منابع مشابه
System Description: H-PILoT (Version 1.9)
This system description provides an overview of H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions), a program for hierarchical reasoning in extensions of logical theories. H-PILoT reduces deduction problems in the theory extension to deduction problems in the base theory. Specialized provers and standard SMT solvers can be used for testing the satisfiability of the formu...
متن کاملModeling of Texture and Color Froth Characteristics for Evaluation of Flotation Performance in Sarcheshmeh Copper Pilot Plant, Using Image Analysis and Neural Networks
Texture and color appearance of froth is a discreet qualitative tool for evaluating the performance of flotation process. The structure of a froth developed on the flotation cell has a significant effect on the grade and recovery of copper concentrate. In this work, image analysis and neural networks have been implemented to model and control the performance of such a system. The result reveals...
متن کاملProposed Pilot Pattern Methods for Improvement DVB-T System Performance
Recently, orthogonal frequency division multiplexing (OFDM) has been extensively used in communications systems to resist channel impairments in frequency selective channels. OFDM is a multicarrier transmission technology in wireless environment that use a large number of orthogonal subcarriers to transmit information. OFDM is one of the most important blocks in digital video broadcast-terrestr...
متن کاملAn evolving multi agent system for meteorological alerts: A deployed pilot system
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. A needs analysis has indicated that due to the nature of the domain, where the environment is constantly changing and there are numerous different goals, intelligent multi agent systems technology is highly appropriate. This paper describes a pilot pr...
متن کاملA Control System for A Pilot Batch Polymerization Reactor
In this article several control schemes for a pilot scale polymerization reactor are proposed and one of them is selected as the most suitable design. The performances of proposed schemes have been compared through computer simulations. The controllers are PID and Chosen reaction is polymerization of methyl methacrylate which is highly exothermic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009